Tootfinder

Following some Swift developers on here and… how do even use a language that has breaking changes like every second Tuesday?
Like why does it do that? And also wtf roflcopter

Las Vegas Raiders head coach Antonio Pierce reveals his plans for free agent acquisition Andrus Peat https://www.yardbarker.com/nfl/articles/las_vegas_raiders_head_coach_antoni…

Las Vegas Raiders head coach Antonio Pierce reveals his plans for free agent acquisition Andrus Peat
The Las Vegas Raiders, in a strategic move, didn't make a flurry of signings in free agency like some other teams. They made calculated moves, such as the impactful signing of Christian Wilkins, and continued their strategic approach after the draft. The Raiders, with a clear focus on strengthening their offensive line, made significant changes this offseason. They allowed Jermaine Eluemunor and Greg Van Roten to depart, but their draft picks Jackson Powers-Johnson and D.J. Glaze, along with th…

This https://arxiv.org/abs/2402.14504 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On A Tautological Relation Conjectured By Buryak-Shadrin
Buryak and Shadrin conjectured a tautological relation on moduli spaces of curves $\overline{\mathcal{M}}_{g,n}$ which has the form $B^m_{g, \textbf{d}}=0$ for certain tautological classes $B^m_{g, \textbf{d}}$ where $m \geq 2, n \geq 1$ and $|\textbf{d}| \geq 2g+m-1$. In this paper we prove that this conjecture holds if it is true for the $m=2$ and $|\textbf{d}| = 2g+1$ case. This result reduces the proof of this conjecture to checking finitely many cases for each genus $g$…

After Firefish imploded a few months ago, my interest in continuing my interest in my single-user server project died.
Tonight I decided to replace it with a Pixelfed server. It went about as smoothly as you can imagine. The only issue is the server gives 500 errors after making changes to the .env file and running php artisan config:cache to rebuild the cache—the cause is beyond me.
Overall, a fun Sunday project.

This https://arxiv.org/abs/2209.04044 has been replaced.
link: https://scholar.google.com/scholar?q=a

Explicit statement of a conjecture on resultantal varieties
The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this con…

This https://arxiv.org/abs/2106.11798 has been replaced.
link: https://scholar.google.com/scholar?q=a

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
A cyclic proof system is a proof system whose proof figure is a tree with cycles. The cut-elimination in a proof system is fundamental. It is conjectured that the cut-elimination in the cyclic proof system for first-order logic with inductive definitions does not hold. This paper shows that the conjecture is correct by giving a sequent not provable without the cut rule but provable in the cyclic proof system.

Just some OpenPGP key hygiene:
I've updated my key with key ID 0x1C27423725007724 fingerprint 0x21D16E67E18398C8DA9DDF2E1C27423725007724.
Changes:
Replaced old SHA1 self-signatures where possible.
Revoked old RSA encryption subkey (no compromise, just superseding it).
Generated new subkeys for RSA encryption, ECC encryption and ECC signing.
The updated key has been uploaded to WKD, keyservers and is also available for manual download from my home page.

Good Morning #Canada
On this day in 1936, Canada's streak of 4 consecutive hockey gold medals at the Winter Olympics came to an end. Were they defeated by their traditional USA rivals or a growing European powerhouse? Nope... it was Great Britain. A country that had less ice rinks than a small town in Saskatchewan. It was an incredible upset with numerous side stories due to the games bein…

This Day in Hockey History – February 16, 1936 – Great Britain’s Gold in Germany
The Olympic Games that began with Nazi salutes to Chancellor Adolf Hitler on February 6, ended with the first gold medal in ice hockey to go to a team that was not Canada. On February 16, 1936, the…

This https://arxiv.org/abs/2207.08504 has been replaced.
link: https://scholar.google.com/scholar?q=a

The complicial model of $(\infty,ω)$-categories
It has been conjectured since the 1980s that Verity's $n$-complicial sets were a model for $(\infty,n)$-categories. This text is dedicated to providing a positive answer to this conjecture. The proof of this result relies on a thorough study of Gray operations in (strict) $ω$-categories, in complicial sets, and in enriched (stratified) Segal precategories.

Following some Swift developers on here and… how do even use a language that has breaking changes like every second Tuesday?
Like why does it do that? And also wtf roflcopter